infinix note 40 pro 5g vs redmi note 13 pro